" G. Hasenjaeger" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Mathematical interpretation of formal systems

Автор: Skolem T., Автор: Hasenjaeger G., Автор: Kreisel G., Автор: Robinson A., Автор: et al.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

Размер книги: 740 Kb

Logic and Machines: Decision Problems and Complexity

Автор: E. Börger, Автор: G. Hasenjaeger, Автор: D. Rödding

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 3.29 Mb